Formal specification of multi-agent systems by using EUSMs ⋆

机译：使用EUSM的多主体系统的正式规范

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Mercedes G. Merayo; Manuel Núñez; Ismael Rodríguez; Dept Sistemas Informáticos Y;
展开▼
作者单位

展开▼
年度 2008
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Formal specification of multi-agent e-barter systems [J] . Manuel Nunez, Ismael Rodriguez, Fernando Rubio Science of Computer Programming . 2005,第2期

机译：多主体电子易货系统的正式规范
2. A formal framework for organization-centered multi-agent system specification: A rewriting logic based approach [J] . Mohamed Amin Laouadi, Farid Mokhati, Hassina Seridi-Bouchelaghem Multiagent and grid systems . 2017,第4期

机译：一个以组织为中心的多代理系统规范的正式框架：一种基于重写逻辑的方法
3. Formal specification of a multi-agent system architecture for manufacture: the contribution of the #pi#-calculus [J] . Y.Dumond, C.Roche Journal of Materials Processing Technology . 2000,第1a3期

机译：用于制造的多智能体系统架构的正式规范：＃pi＃-演算的贡献
4. Formal Specification of Multi-agent Systems by Using EUSMs [C] . Mercedes G. Merayo, Manuel Nunez, Ismael Rodriguez International Symposium on Fundamentals of Software Engineering(FSEN 2007); 20070417-19; Tehran(IR) . 2007

机译：使用EUSM的多主体系统的正式规范
5. Combining semi-formal and formal notations in software specification: An approach to modelling time-constrained systems. [D] . Dascalu, Sergiu-Mihai. 2001

机译：在软件规范中结合半正式和正式的符号：一种建模时间受限系统的方法。
6. Qualitative Dynamical Modelling Can Formally Explain Mesoderm Specification and Predict Novel Developmental Phenotypes [O] . Abibatou Mbodj, E. Hilary Gustafson, Lucia Ciglar, 2016

机译：定性的动力学建模可以正式解释中胚层规格并预测新的发育表型
7. Formal specification of multi-agent systems by using EUSMs [O] . García Merayo, Mercedes, Núñez García, Manuel, Rodríguez Laguna, Ismael 2020

机译：使用EUSM的多主体系统的正式规范
8. Semi-Formal and Formal Interface Specification for System of Systems Architecture. [R] . Bryans, J., Payne, R., Holt, J., 2013

机译：系统体系结构的半形式和形式接口规范。

Formal specification of multi-agent systems by using EUSMs ⋆

著录项

引文网络

相似文献

相关主题

期刊订阅